-
1 лемма о рекурсии
Большой англо-русский и русско-английский словарь > лемма о рекурсии
-
2 лемма о рекурсии
Mathematics: recursion lemma -
3 лемма о рекурсии
recursion lemma мат.Русско-английский научно-технический словарь Масловского > лемма о рекурсии
-
4 recursion lemma
Большой англо-русский и русско-английский словарь > recursion lemma
-
5 recursion lemma
Математика: лемма о рекурсии -
6 recursion lemma
мат.
См. также в других словарях:
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Красно-чёрное дерево — Тип дерево поиска Изобретено в 1972 году Изобретено Рудольф Байер Временная сложность в О символике В среднем В худшем случае Расход памяти O(n) O(n) Поиск O(log n) O(log n) Вставка O(log n) O(log n) Удаление O(log n) O(log n) Красно чёрное… … Википедия